Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add error description when the witness version does not match #970

Merged
merged 1 commit into from
Nov 20, 2023

Conversation

marian-lingsch
Copy link
Contributor

Since there are now two types of witnesses, the witness linter now supports a check for the version of the witness. If that option is used, we want to set a reasonable error description.

…ere is now an option in the witness linter to set the expected format version (1.0 for GraphML and at least 2.0 for YAML). This new option should be handled by the tool info module to present a reasonable error description.
@PhilippWendler PhilippWendler merged commit c48e5a3 into main Nov 20, 2023
6 checks passed
@PhilippWendler PhilippWendler deleted the witness-linter branch November 20, 2023 10:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging this pull request may close these issues.

2 participants